Linux Kernel API - PDFSEARCH.IO - Document Search Engine

Linux Kernel API
Results: 23

#	Item
11	Guardian Digital WebTool API Guide Guardian Digital WebTool API Guide Revision History Revision $Revision: 1.5 $ Revised by: AP, RWM Add to Reading List Source URL: www.engardelinux.org Language: English - Date: 2008-12-30 14:59:42 Cross-platform software Scripting languages Application programming interface Loadable kernel module Perl module Copyright law of the United States Namespace Perl Software Computing EnGarde Secure Linux
12	Detecting silent data corruptions and memory leaks using DMA Debug API Shuah Khan Senior Linux Kernel Developer – Open Source Group Add to Reading List Source URL: events.linuxfoundation.org Language: English - Date: 2013-10-17 13:13:59 Linux kernel Monolithic kernels Software Linux
13	SCHOOL OF COMPUTER SCIENCE & ENGINEERING A Formal Model of the L4 µ-kernel API Using the B Method Rafal Kolanski Add to Reading List Source URL: www.ssrg.nicta.com.au Language: English - Date: 2013-10-20 22:10:09 Kernel Monolithic kernels Mach Thread Formal verification Linux kernel Operating system Ring Isabelle Computer architecture Computing L4 microkernel family
14	Costs of Security in the PFS File System∗ Kevin Walsh Department of Mathematics and Computer Science College of the Holy Cross [removed] Fred B. Schneider Add to Reading List Source URL: ecommons.library.cornell.edu Language: English - Date: 2012-07-26 01:01:29 Computing Access control Kernel Access control list Principle of least privilege Trusted computing base Linux kernel File system API File system Software Computer security Security
15	1 Trust in a Principled Filesystem Kevin Walsh and Fred B. Schneider Abstract—Users typically have little reason to trust that systems will protect user data against unauthorized access. A prototype filesystem stack w Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2014-06-13 22:37:28 Disk file systems File system API Virtual file system Kernel Filesystem in Userspace Linux kernel Microkernel File system Ext2 System software Software Computer architecture
16	SocketCAN The official CAN API of the Linux Kernel Automotive Linux Summit Fall 2013 Marc Kleine-Budde Pengutronix Add to Reading List Source URL: events.linuxfoundation.org Language: English - Date: 2013-10-16 13:53:47 SocketCAN Device driver Communications protocol Network socket Ethernet Ethernet over USB Netlink Computing Data Information
17	Boot System Services Interface (SSI) Modules for LAM/MPI API Version[removed]SSI Version[removed]Jeffrey M. Squyres Brian Barrett Andrew Lumsdaine Add to Reading List Source URL: www.lam-mpi.org Language: English - Date: 2006-03-08 15:23:53 System software BIOS FreeBSD Linux kernel Loadable kernel module Daemon Extension Software Booting Computer architecture
18	Software fault isolation with API integrity and multi-principal modules Yandong Mao, Haogang Chen, Dong Zhou† , Xi Wang, Nickolai Zeldovich, and M. Frans Kaashoek MIT CSAIL, † Tsinghua University IIIS A BSTRACT Add to Reading List Source URL: pdos.csail.mit.edu Language: English - Date: 2014-09-23 03:33:34 Computer security Linux kernel Operating system kernels Kernel Loadable kernel module Ioctl Rootkit Architecture of Windows NT Principle of least privilege Computer architecture System software Computing
19	Software fault isolation with API integrity and multi-principal modules Yandong Mao, Haogang Chen, Dong Zhou† , Xi Wang, Nickolai Zeldovich, and M. Frans Kaashoek MIT CSAIL, † Tsinghua University IIIS A BSTRACT Add to Reading List Source URL: people.csail.mit.edu Language: English Computer security Linux kernel Operating system kernels Kernel Loadable kernel module Ioctl Rootkit Architecture of Windows NT Principle of least privilege Computer architecture System software Computing
20	The Linux Kernel API The Linux Kernel API This documentation is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; ei Add to Reading List Source URL: kernelbook.sourceforge.net Language: English - Date: 2001-11-02 11:03:55 Linux Cross-platform software Linux kernel Inode Loadable kernel module GNU General Public License Software Computing Computer architecture

UPDATE